"Kurt Godel" скачать бесплатно. Электронная библиотека. Поиск книг LibCats

Самая большая электронная библиотека рунета. Поиск книг и журналов

#1

Kurt Godel: The Album

Karl Sigmund, John Dawson, Kurt Muhlberger

68.98 Mb

#2

Collected Works: Volume III: Unpublished essays and lectures (Collected Works of Kurt Godel)

Kurt Gödel

49.54 Mb

#3

Collected Works: Volume II: Publications 1938-1974 (Godel, Kurt Collected Works)

Kurt Godel

Категория: История

23.84 Mb

#4

Sentences Undecidable in Formalized Arithmetic: An Exposition of the Theory of Kurt Godel (Studies in Logic and the Foundations of Mathematics, 10)

Andrzej Mostowski

Категория: Образование

4.48 Mb

#5

Logical Dilemmas: The Life and Work of Kurt Godel

John W. Dawson Jr.

4.12 Mb

#6

Logical Dilemmas: The Life and Work of Kurt Godel

John W. Dawson Jr.

Категория: M_Mathematics, MPop_Popular-level

3.71 Mb

#7

On Formally Undecidable Propositions Of Principia Mathematica

Godel Kurt

Категория: fiction

327 Kb

#8

The Modern Development of the Foundations of Mathematics in the Light of Philosophy

Godel Kurt

Категория: fiction

20 Kb

#9

Logical Dilemmas: The Life and Work of Kurt Godel

John W. Dawson Jr.

25.25 Mb

#10

Computational Logic and Proof Theory: 5th Kurt Godel Colloquium, Kgc'97, Vienna, Austria, August 25-29, 1997 Proceedings, Vol. 128

Georg Gottlob, Alexander Leitsch, Daniele Mundici

24.09 Mb

#11

Incompleteness - The Proof and Paradox of Kurt Godel

Rebecca Goldstein

1.12 Mb

#12

Incompleteness: The Proof and Paradox of Kurt Godel

Rebecca Goldstein

1.64 Mb

#13

Collected Works: Volume I: Publications 1929-1936 (Godel, Kurt//Collected Works)

Kurt Gödel, Solomon Feferman, John W. Dawson Jr., Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, Jean van Heijenoort

13.27 Mb

#14

Collected Works: Volume III: Unpublished essays and lectures (Godel, Kurt//Collected Works)

Kurt Gödel, S. Feferman (Editor-in-Chief), John W. Dawson Jr., Warren Goldfarb, Charles Parsons, R. Solovay

4.74 Mb